UML state machine

Results: 58



#Item
41Microsoft Word - Annex4b-XTYReformattedICADAM_EASTWEST_charchai.doc

Microsoft Word - Annex4b-XTYReformattedICADAM_EASTWEST_charchai.doc

Add to Reading List

Source URL: eastwest.inf.brad.ac.uk

Language: English - Date: 2008-02-22 07:21:49
42Behaviour modelling : a contribution to CIM M. Sibilla, A. Barros de Sales, J. Broisin, P. Vidal F. Jocteur-Monrozier  Institut de Recherche en information de Toulouse (IRIT),

Behaviour modelling : a contribution to CIM M. Sibilla, A. Barros de Sales, J. Broisin, P. Vidal F. Jocteur-Monrozier Institut de Recherche en information de Toulouse (IRIT),

Add to Reading List

Source URL: www.dmtf.org

Language: English - Date: 2010-06-09 17:08:11
43State Machine Specification Directly in Java and C++ Alexander Sakharov

State Machine Specification Directly in Java and C++ Alexander Sakharov

Add to Reading List

Source URL: sakharov.net

Language: English - Date: 2008-05-18 20:05:49
44Time and Synchronization in Executable UML  Leon Starr

Time and Synchronization in Executable UML Leon Starr

Add to Reading List

Source URL: modelint.com

Language: English - Date: 2008-12-28 11:46:41
45XML-Based Static Type Checking and Dynamic Visualization for TCOZ Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, and Hai Wang School of Computing, National University of Singapore {dongjs,liyuanfa,sunjing,sunjun,wangh}@

XML-Based Static Type Checking and Dynamic Visualization for TCOZ Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, and Hai Wang School of Computing, National University of Singapore {dongjs,liyuanfa,sunjing,sunjun,wangh}@

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2002-10-11 12:30:56
46Using UML for Modeling Complex Real-Time Systems Bran Selic, ObjecTime Limited

Using UML for Modeling Complex Real-Time Systems Bran Selic, ObjecTime Limited

Add to Reading List

Source URL: www.ibm.com

Language: English - Date: 2005-07-06 18:54:35
47Using B to verify UML Transformations K. Lano Dept. of Computer Science, King’s College London, Strand, London, WC2R 2LS, UK

Using B to verify UML Transformations K. Lano Dept. of Computer Science, King’s College London, Strand, London, WC2R 2LS, UK

Add to Reading List

Source URL: modeva.itee.uq.edu.au

Language: English - Date: 2013-12-08 20:41:13
48A CASE Tool for Robot Behavior Development A. Topalidou-Kyniazopoulou1 , N. I. Spanoudakis2 , and M. G. Lagoudakis1 1

A CASE Tool for Robot Behavior Development A. Topalidou-Kyniazopoulou1 , N. I. Spanoudakis2 , and M. G. Lagoudakis1 1

Add to Reading List

Source URL: users.isc.tuc.gr

Language: English - Date: 2012-04-23 04:18:35
49F. Wagner  April 2005

F. Wagner April 2005

Add to Reading List

Source URL: www.stateworks.com

Language: English - Date: 2009-04-02 14:09:36
50Science of Computer North-Holland

Science of Computer North-Holland

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2006-09-23 14:14:53